filmov
tv
3|Z1|=4 |Z2| if Z = 3 Z1